Coverage-driven Automated Compiler Test Suite Generation

Coverage-driven Automated Compiler Test Suite Generation

SAT Based Automated Test Case Generation For MUMCUT Coverage

MUMCUT is a criterion for testing Boolean specifications. The traditional test case generation methods for this problem are based on approximate approaches. The efficiency of these algorithms depend on the designers’ experience on this coverage. In this paper, the authors apply SAT based method to solve this problem. Two SAT solvers, walksat and zChaff, are employed to generate approximate and ...

Test Suite Evaluation and Generation

We describe an approach to the synthesis of a benchmark test suite for evaluation of coverage analyzers, and new tools for test generation that have been developed for PVS and SAL.

A Feasibility Study in Formal Coverage Driven Test Generation

We claim that the verification crisis may be solved by bridging the gap between formal verification and simulation. This paper presents a study of a functional verification methodology using the coverage of formal models to specify tests. This methodology was applied to a modern superscalar microprocessor and the resulting tests were compared to tests generated using existing methods. The resul...

Compiler Based Test Case Generation

This paper presents a compiler based approach to automate test case generation. This approach relies on object oriented metrics to identify complex message method sequences in the program. In this approach the compiler compiles the code to generate a graphical model for the object oriented program based on System Dependence Graph. The SDG is augmented with other important information like contr...